面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

超短波数据调制解调器的研究与实现

超短波数据通信在国内日趋发展,迫切需要专门用于超短波的数据调制解调器。本文将有线、短波数据通信的理论和方法有机地结合在一起,研究和设计了多速率的超短波数据modem 的方案,对系统的性能和关键技术作了分析,并给出了计算机模拟结果。     

冲激雷达实验系统与测量数据处理技术

本文介绍一种冲激雷达实验系统。它是设置在微波暗室内的全空间实验系统,天线、录取电路和数据处理器是专门设计的,能录取各种目标的回波数据,给出实时处理结果。文中讨论了数据处理技术,提出用规则化方法求解目标冲激响应、估计AR模型参数,给出了实际结果,表明该算法的有效性。测量了涂覆RAM目标的回波,对比分析结果证实了冲激雷达具有良好的反隐身能力。     

一种工业机器人柔性手腕的设计与分析

本文提出了由双重系杆平面差动轮系机构组成的工业机器人柔性手腕。计算机运动轨迹的仿真结果以及实模型表明,该柔性手腕具有结构简单、紧凑和运动范围大等优点,可以装备于喷漆和焊接工业机器人上。     

自适应均衡器非维纳效应的仿真研究

窄带干扰条件下,自适应滤波器产生非维纳效应。在分析非维纳效应产生机理的基础上,详细仿真研究了强单音干扰条件下,自适应均衡器的收敛和跟踪性能。通过研究得出了一些新的结论:多径和干扰的功率严重影响自适应均衡器的收敛速度,而干扰的频率对收敛速度几乎没有影响;固定的强单音干扰对自适应滤波器的信道跟踪性能影响较小;慢变的强单音干扰对跟踪性能影响较小,快变的单音干扰将对跟踪性能造成严重影响。     

时延辅助信息的水下无源定位方法

以潜艇水听器阵列所构成的系统为例,建立了一种水下无源定位算法.以观测方位和到达不同传感器的时延差为基础,建立了状态方程和观测方程.利用扩展卡尔曼滤波算法,对系统进行了目标运动分析.蒙特卡洛模拟仿真试验结果表明上述方法具有较高的定位性能.该系统构成简单,在打击水下目标方面有良好的应用前景.     

基于熵的地磁匹配定位算法

地磁匹配定位是近年来发展起来的新技术,针对地磁匹配定位中的匹配算法问题,引入了熵的概念,定义了地磁信息熵和地磁差异熵,提出了地磁信息熵和地磁差异熵综合的匹配算法,详细分析了其基本原理和实现过程。仿真实验表明,地磁熵算法的匹配误差并不随实时数据测量误差的增加而增加,该算法计算速度快、具有良好的抗测量误差干扰的能力,符合匹配精度和速度的要求。     

基于DEA/AHP的炮兵群通信组织方案评价

炮兵群通信组织方案的优劣直接关系到能否对部队实施有效的指挥控制,因此如何客观地评价并依据评价结果进行优选就显得尤为重要。基于炮兵通信的基本要求和现有装备情况,构建了炮兵群通信组织方案评价的指标体系,在对利用DEA/AHP模型评价该问题合理性分析的基础上,给出了简要的评价步骤,并结合炮兵群岛上进攻战斗通信组织方案进行了评价与选优,从一个侧面验证了该评价方法的可行性和可信性。     

利用惯导信息的反舰末制导雷达抗干扰方法

惯导信息短期精度高、稳定性好,且自主工作,不受外界电磁干扰.基于惯导的这些特点,提出了一种利用惯导位置、速度信息辅助抗舷外干扰的信息处理方法:在反舰导弹末制导跟踪阶段,建立弹目相对运动模型,通过扩展卡尔曼滤波降低雷达导引头随机测量误差,获取目标位置和速度信息,当检测到干扰,通过对目标位置的预测和惯导对导弹位置的确定,实...     

基于簇的Ad Hoc网络密钥管理机制研究

Ad Hoc网络可以不依赖于现有网络基础设施,快速搭建起一个移动通信网络,然而其灵活性又使其安全性面临着严峻的挑战.密钥管理是Ad Hoc网络安全的关键技术,在分析现有的Ad Hoc网络分布式信任方案基础上,提出一种有效的基于簇的密钥管理方案.该方案实现了节点之间的双向认证,具有较强的抗假冒攻击能力,密钥分发过程简单,...